sufficient condition for f(x) to be analytic